13.3 Carnot's theorem
=====================